Amalgamating Multiple Programming Paradigms in PROLOG
نویسنده
چکیده
This paper discusses the issues in amalgamating multiple programming paradigms in the logic programming language, Prolog. It is shown that multiple paradigms can be incorporated without disturbing logic programming language features and efficiency. It also introduces a new programming paradigm called the relation-oriented paradigm. The research results are reflected in the implementation of the Prolog-based knowledge programming system PEACE, which is used to realize an expert system in a diagnostic domain. PEACE provides a relation-oriented programming paradigm, as well as previously discussed paradigms, such as object-oriented, data-oriented, and rule-oriented paradigms. These paradigms are nicely amalgamated in Prolog language and can be used intermixedly.
منابع مشابه
Exploiting Logic Programming in Robot Applications
Advanced robot programming requires flexible and extensible programming environments, as well as programming languages capable of amalgamating and integrating components implemented according to different technologies. Logic programming can give a valuable contribution thanks to its characteristic features like relational form and declarative interpretation; on the other hand, its peculiar goal...
متن کاملCAPJA - A Connector Architecture for Prolog and Java
Modern software often relies on the combination of several software modules that are developed independently. There are use cases where different software libraries from different programming languages are used, e.g., embedding DLL files in JAVA applications. Even more complex is the case when different programming paradigms are combined like within applications with database connections, for i...
متن کاملProgramming Paradigms of the Andorra Kernel Language
The Andorra Kernel Language (AKL) is introduced. We show how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. It has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive processes. It i...
متن کاملProgramming Paradigms ofthe Andorra Kernel
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive pr...
متن کاملSeamless Cooperation of Java and Prolog for Rule-Based Software Development
Modern software often relies on the modular combination of several software subsystems, for instance rule-based subsystems for decision support, verification or knowledge management. Different software libraries in potentially different programming languages have to work together in just a single application. Even more complex is the case when different programming paradigms are combined. Such ...
متن کامل